Homomorphic Image Orders on Combinatorial Structures

Combinatorial structures have been considered under various orders, including substructure order and homomorphism order. In this paper, we investigate the homomorphic image order, corresponding to the existence of a surjective homomorphism between two structures. We distinguish between strong and induced forms of the order and explore how they behave in the context of different common combinatorial structures. We focus on three aspects: antichains and partial well-order, the joint preimage property and the dual amalgamation property. The two latter properties are natural analogues of the well-known joint embedding property and amalgamation property, and are investigated here for the first time.